python decimals truncate